1

Instantiation Schemes for Nested Theories

Année:
2013
Langue:
english
Fichier:
PDF, 277 KB
english, 2013
3

Rewrite-Based Decision Procedures

Année:
2007
Langue:
english
Fichier:
PDF, 420 KB
english, 2007
4

Modular instantiation schemes

Année:
2011
Langue:
english
Fichier:
PDF, 166 KB
english, 2011
5

Theory decision by decomposition

Année:
2010
Langue:
english
Fichier:
PDF, 3.09 MB
english, 2010
7

On the Complexity of Deduction Modulo Leaf Permutative Equations

Année:
2004
Langue:
english
Fichier:
PDF, 537 KB
english, 2004
8

An Instantiation Scheme for Satisfiability Modulo Theories

Année:
2012
Langue:
english
Fichier:
PDF, 1.02 MB
english, 2012
9

Permutative rewriting and unification

Année:
2007
Langue:
english
Fichier:
PDF, 453 KB
english, 2007